Semantic Scholar uses AI to extract papers important to this topic.
DLV is an efficient logic programming and non-monotonic reasoning (LPNMR) system with advanced knowledge representation… Expand A formal language CCSL is introduced for describing specifications of classes in object-oriented languages. We show how class… Expand structuring schemas that consist in grammars annotated with database programs. To query documents, we introduce an extension of… Expand The Zephyr Abstract Syntax Description Language (ASDL) describes the abstract syntax of compiler intermediate representations… Expand This paper describes a simple extension of the Hindley-Milner polymorphic type discipline to call-by-value languages that… Expand We present a static analysis that detects potential runtime exceptions that are raised and never handled inside Standard ML… Expand Reactive systems are interactive programs that react continuously to sequences of activations coming from the external world… Expand PIPS is an experhnental FORTRAN source-to-source parallelizer that combines the goal of exploring interprocedural and semantical… Expand make is the standard UNIX utility for maintaining programs. It has been used by UNIX programmers for almost l0 years and many… Expand Computer program input generally has some structure; in fact, every computer program that does input can be thought of as… Expand